Specifying and Modeling Multicast Communication in Cbcast Protocol
نویسنده
چکیده
Reliability of the message passing in multicast communications depends on ordering of messages in conformance with properties of used communication protocol. Among others, CBCAST is the protocol used for ordering and synchronization of messages in multicast communication. This study aims to discuss verification of message passing in the multicast communication against properties of the CBCAST protocol. To this end, The CBCAST properties are expressed using Temporal Logic and then they are mapped to state machines. When a message is multicasted to some group of networked clients, the message states are followed and checked against the state machine constructed for a property of the CBCAST protocol.
منابع مشابه
Row/Column-First: A Path-based Multicast Algorithm for 2D Mesh-based Network on Chips
In this paper, we propose a new path-based multicast algorithm that is called Row/Column-First algorithm. The proposed algorithm constructs a set of multicast paths to deliver a multicast message to all multicast destination nodes. The set of multicast paths are all of row-first or column-first subcategories to maximize the multicast performance. The selection of row-first or column-first appro...
متن کاملMulticast computer network routing using genetic algorithm and ant colony
Due to the growth and development of computer networks, the importance of the routing topic has been increased. The importance of the use of multicast networks is not negligible nowadays. Many of multimedia programs need to use a communication link to send a packet from a sender to several receivers. To support such programs, there is a need to make an optimal multicast tree to indicate the opt...
متن کاملImproving the Scalability of an Application-Level Group Communication Protocol
In this paper we analyze the scalability of a control protocol providing a user-level group communication service. This control protocol, called HBM (Host Based Multicast), can be used when native multicast routing is not available. HBM is by nature centralized, everything being controlled by a single host, called Rendez-Vous Point, or RP. This feature naturally leads to scalability issues. Yet...
متن کاملSplee: A Declarative Information-Based Language for Multiagent Interaction Protocols
The Blindingly Simple Protocol Language (BSPL) is a novel information-based approach for specifying interaction protocols that can be enacted by agents in a fully decentralized manner via asynchronous messaging. We introduce Splee, an extension of BSPL. The extensions fall into two broad categories: multicast and roles. In Splee, a role binding is information that is dynamically generated durin...
متن کاملMulticast Communication for Video Broadcasting Service over IPv4 Network Using IP Option
In this paper, we propose a protocol for multicast communication called Multicast Datagram Transfer Protocol (MDTP) to provide multicast for video broadcasting service on the Internet. MDTP is a oneto-many multicast communication protocol, which is constructed based on IPv4 unicast protocol by utilizing IP Router Alert Option, and it uses unicast addressing and unicast routing protocol. A mecha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012